1. Reachability problems
Author: Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses,Computer systems-- Verification, Congresses,Decidability (Mathematical logic), Congresses
Classification :
QA76
.
76
.
V47
R6
2012eb
